How to manage a herd of elephants: PostgreSQL clusters using streaming replication and pgpool-II

Source URL: www.sraoss.co.jp

• Software
• Computing
• Fault-tolerant computer systems
• Data management
• Cross-platform software
• Database management systems
• Data synchronization
• Replication
• PostgreSQL
• Failover
• Hierarchical and recursive queries in SQL
• Load balancing

Impossibility of Distributed Consensus with One Faulty Process MICHAEL J. FISCHER

Source URL: www.cs.princeton.edu

• Computing
• Electrical engineering
• Engineering
• Fault-tolerant computer systems
• Distributed computing
• Network architecture
• Consensus
• ACM SIGACT
• Asynchronous system

Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox

Source URL: verdi.uwplse.org

• Fault-tolerant computer systems
• Computing
• Mathematics
• Distributed algorithms
• Mathematical induction
• Raft
• Formal verification
• Consensus
• Leader election
• Mathematical proof
• Paxos
• Cognitive science

How to manage a herd of elephants: Introducing new features of pgpool-II SRA OSS, Inc. Japan

Source URL: www.sraoss.co.jp

• Fault-tolerant computer systems
• Cross-platform software
• Data synchronization
• PostgreSQL
• Failover
• Load balancing
• Replication

OceanStore: An Architecture for Global-Scale Persistent Storage  John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels, Ramakrishna Gummadi, Sean Rhea,

Source URL: www.oceanstore.org

• Fault-tolerant computer systems
• Routing
• Replication
• Load balancing
• Tapestry

Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems Alysson Neves Bessani† Miguel Correia†

Source URL: www.di.fc.ul.pt

• Computing
• Fault-tolerant computer systems
• Concurrent computing
• State machine replication
• Byzantine fault tolerance
• Tuple
• Paxos
• Consensus
• Erlang
• Linda
• Replication

The International Conference on Dependable Systems and Networks Pacific Convention Center (Pacifico), Yokohama, Japan June 28-July 1, 2005 Sponsored by : IEEE Computer Society Technical Committee on Fault-Tolerant Comput

Source URL: 2005.dsn.org

On the Scheduling of Fault-Tolerant Mixed-Criticality Systems Pengcheng Huang, Hoeseok Yang, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerland

Source URL: www.tik.ethz.ch

• Engineering
• Systems science
• Technology
• Safety engineering
• Systems engineering
• Mixed criticality
• Software engineering
• Real-time computing
• Software quality
• Criticality
• Worst-case execution time
• Reliability engineering

End-to-end Data Integrity for File Systems: A ZFS Case Study Yupu Zhang, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau Computer Sciences Department, University of Wisconsin-Madison Abstract We pre

Source URL: research.cs.wisc.edu

• Computing
• Data management
• Computer data storage
• Disk file systems
• RAID
• Data quality
• Volume manager
• ZFS
• Fault-tolerant computer systems
• Data corruption
• Data integrity
• File system

Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines João Sousa and Alysson Bessani LaSIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal Abstract—State machine replica

Source URL: www.di.fc.ul.pt

• Computing
• Fault-tolerant computer systems
• Data synchronization
• Network protocols
• Internet protocols
• State machine replication
• Byzantine fault tolerance
• Replication
• Hypertext Transfer Protocol
• Quorum
• WAN optimization
• Latency